Fifth Workshop on Quantitative Aspects of Programming Languages
نویسندگان
چکیده
Chemical and biochemical systems are presented as collectives of interacting stochastic automata: each automaton represents a molecule that undergoes state transitions. This framework constitutes an artificial biochemistry, where automata interact by the equivalent of the law of mass action. We analyze several example systems and networks, both by stochastic simulation and by ordinary differential equations. This is a preliminary version. The final version will be published in Electronic Notes in Theoretical Computer Science URL: www.elsevier.nl/locate/entcs QAPL 2007 Preliminary Version Approximate Reasoning for Time and Probabilities
منابع مشابه
Fifth Workshop on Programming Languages and Operating Systems
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report presents the motivation for holding the workshop and summarizes the workshop contributions.
متن کاملDeclarative Agent Languages and Technologies Workshop Organisers Programme Committee Steering Committee Additional Reviewers Composing High-level Plans for Declarative Agent Programming . . . . . . . . . . 115 Integrating Agent Models and Dynamical Systems
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows how to model complex agent systems, integrating quantitative, numerical and qualitative, logical aspects, and how to combine logical and mathematical analysis methods.
متن کاملNinth International Conference on Principles and Practice of Constraint Programming – CP’03 WORKSHOP PROCEEDINGS MultiCPL’03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP’03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming
This paper explains how to design and implement an extension for by-need synchronization for a confluent (subset of a) multiparadigm concurrent constraint language, while keeping the extended language confluent. It reveals the subtleties and pitfalls that can easily lead to the loss of confluence, especially in languages with a powerful unification operator. The authors report on their own expe...
متن کاملProceedings of the Workshop on Linear Logic and Logic Programming
Declarative programming languages often fail to effectively address many aspects of control and resource management. Linear logic provides a framework for increasing the strength of declarative programming languages to embrace these aspects. Linear logic has been used to provide new analyses of Prolog's operational semantics, including left-to-right/depth-first search and negation-as-failure. I...
متن کاملSpecial issue on foundations of aspect-oriented programming
This SCP special collects articles that make contributions to the foundations of aspectoriented programming (AOP). Aspects have been developed over the last 10 years to facilitate the modularization of crosscutting concerns, i.e., concerns that crosscut with the primary modularization of a program. This special issue further continues the efforts of the annual FOAL workshop (Foundations of Aspe...
متن کامل